A reification calculus for model-oriented software specification
نویسندگان
چکیده
منابع مشابه
Action Reification in Object-oriented Specification
Reiication is a popular technique to reduce complexity of the software design process. This technique has to be re-investigated for the comprehensive object-oriented approach. Object-oriented speciications comprise structure and behavior of systems. Due to this sophisticated idea two kinds of reiication appear: data reiication and action reiication. In this paper we present an approach to incor...
متن کاملA Generic Reification Technique for Object-Oriented Reflective Languages
Computational reflection is gaining interest in practical applications as witnessed by the use of reflection in the JAVA programming environment and recent work on reflective middleware. Reflective systems offer many different reflection programming interfaces, the so-called MetaObject Protocols (MOPs). Their design is subject to a number of constraints relating to, among others, expressive pow...
متن کاملSpecification and Verification of Object-Oriented Software
The specification of object-oriented and other pointer-based programs must be able to describe the structure of the program’s dynamically allocated data as well as some abstract view of what the code implements. The verification of such programs can be done by generating logical verification conditions from the program and its specifications and then analyzing the verification conditions by a m...
متن کاملEVOLVE: Adaptive Specification Techniques for Object-Oriented Software Evolution
The increased complexity of object-oriented models necessitates the enhancement of adaptiveness and robustness of an object-oriented design towards changing requirements. The understanding of what properties are critical for construction of an adaptive schema design becomes increasingly important in software evolution. In this paper we present two groups of techniques for enhancing the adaptive...
متن کاملModel-Driven Prototyping for Corporate Software Specification
Corporate software development faces very demanding challenges, especially concerning the design of user interfaces. Collaborative design with stakeholders demands modeling methods that everybody can understand and apply. But when using traditional, paper-based methods to gather and document requirements, an IT organization often experiences frustrating communication issues between the business...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1990
ISSN: 0934-5043,1433-299X
DOI: 10.1007/bf01888215